(i = j) == if i=j  then tt  else ff 

latex

Up	bool 1, bool 1
Wellformedness Lemmas	eq int wf, eq int wf
Definitions	if a=b  then c  else d, tt, ff
FDL editor aliases	eq_int